Designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently ...